type string = list(char);
